1. Introduction to the Basic Concepts and Problems of Modern Logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic.,Philosophy (General)

رده :
BC135
.
B944
1972

2. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses

رده :
QA
267
.
S98
1983